$\forall$$i$, $j$:$\mathbb{Z}$. ($i$ $<$ $j$) $\vee$ ($i$ = $j$) $\vee$ ($i$ $>$ $j$)